International Symposium on Circuits and Systems Orlando, May-June 1999 MINIMIZATION OF BDDS USING LINEAR TRANSFORMATIONS BASED ON EVOLUTIONARY TECHNIQUES
نویسندگان
چکیده
Binary Decision Diagrams (BDDs) are frequently used in many applications in VLSI CAD. However, they are very sensitive to the variable ordering and their size often becomes infeasible. Recently, a new approach for BDD minimization based on Linear Transformations (LTs), i.e. a special type of spectral techniques, has been proposed. We present an Evolutionary Algorithm (EA) to find an LT for which the BDD becomes small. The genetic operators make use of problem specific knowledge. Experimental results are given to show the efficiency of our approach.
منابع مشابه
Minimization of BDDs using linear transformations based on evolutionary techniques
Binary Decision Diagrams (BDDs) are frequently used in many applications in VLSI CAD. However, they are very sensitive to the variable ordering and their size often becomes infeasible. Recently, a new approach for BDD minimization based on Linear Transformations (LTs), i.e. a special type of spectral techniques, has been proposed. We present an Evolutionary Algorithm (EA) to find an LT for whic...
متن کاملLinear Transformations and Exact Minimization of BDDs
We present an exact algorithm to nd an optimal linear transformation for the variables of a Boolean function to minimize its corresponding ordered Binary Decision Diagram (BDD). To prune the huge search space, techniques known from algorithms for nding the optimal variable ordering are used. This BDD minimization nds direct application in FPGA design. We give experimental results for a large va...
متن کاملFast Functional Simulation using Suppressed BDDs
| To speed up functional simulation that takes most dominant time in the design of synchronous digital circuits, we investigate the characteristic Binary Decision Diagrams (BDDs) used to evaluate the primary outputs of the synchronous circuits. This paper describes a new method to minimize the size of BDDs and the number of evaluations for functional simulation. To reduce the size of BDDs, inte...
متن کاملLow Dropout Based Noise Minimization of Active Mode Power Gated Circuit
Power gating technique reduces leakage power in the circuit. However, power gating leads to large voltage fluctuation on the power rail during power gating mode to active mode due to the package inductance in the Printed Circuit Board. This voltage fluctuation may cause unwanted transitions in neighboring circuits. In this work, a power gating architecture is developed for minimizing power in a...
متن کاملBdd Minimization by Linear Transformations
Binary Decision Diagrams (BDDs) are a powerful tool and are frequently used in many applications in VLSI CAD, like synthesis and veriication. Unfortunately, BDDs are very sensitive to the variable ordering and their size often becomes infeasible. Recently, a new approach for BDD minimization based on linear transformations, i.e. a special type of spectral techniques, has been proposed. In this ...
متن کامل